SPERANSKI, STANISLAV O.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Notes on the Computational Aspects of Kripke’s Theory of Truth

Speranski, Stanislav O.

Journal:

Year:

2017

Language:

english

File:

PDF, 640 KB

english, 2017

2

A note on definability in fragments of arithmetic with free unary predicates

Stanislav O. Speranski

Journal:

Archive for Mathematical Logic

Year:

2013

Language:

english

File:

PDF, 185 KB

english, 2013

3

Probabilistic dynamic logic of cognition

Vityaev, Evgenii E., Perlovsky, Leonid I., Kovalerchuk, Boris Ya., Speransky, Stanislav O.

Journal:

Biologically Inspired Cognitive Architectures

Year:

2013

Language:

english

File:

PDF, 615 KB

english, 2013

4

Computability Issues for Adaptive Logics in Multi-Consequence Standard Format

Odintsov, Sergei P., Speranski, Stanislav O.

Journal:

Year:

2013

Language:

english

File:

PDF, 295 KB

english, 2013

5

Quantifying over events in probability logic: an introduction

SPERANSKI, STANISLAV O.

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 221 KB

english, 2017

6

Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability

Odintsov, Sergei P., Speranski, Stanislav O., Shevchenko, Igor Yu.

Journal:

Year:

2017

Language:

english

File:

PDF, 670 KB

english, 2017

7

Reasoning about Arbitrary Natural Numbers from a Carnapian Perspective

Horsten, Leon, Speranski, Stanislav O.

Journal:

Journal of Philosophical Logic

Year:

2018

Language:

english

File:

PDF, 602 KB

english, 2018

8

Belnap–Dunn Modal Logics: Truth Constants vs. Truth Values

Odintsov, Sergei P., Speranski, Stanislav O.

Journal:

The Review of Symbolic Logic

Year:

2019

Language:

english

File:

PDF, 656 KB

english, 2019

9

Some new results in monadic second-order arithmetic

Speranski, Stanislav O.

Journal:

Year:

2015

File:

PDF, 159 KB

2015